x86: handle both NMI kinds if they occur simultaneously
authorJan Beulich <jbeulich@suse.com>
Thu, 17 Jan 2013 12:59:51 +0000 (13:59 +0100)
committerJan Beulich <jbeulich@suse.com>
Thu, 17 Jan 2013 12:59:51 +0000 (13:59 +0100)
commitc7861d0cbc9a140216ecc4cffe871680ba12eb54
tree8cb23eee7f05879e8bfb1f4dc3c69e204ad18b14
parent41333c800cf5fd34229f06b338ef3ff9a2fd3bde
x86: handle both NMI kinds if they occur simultaneously

We shouldn't assume PCI SERR excludes IOCHK.

Once at it, also remove the doubly redundant range restriction on
"reason" - the variable already is "unsigned char".

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Keir Fraser <keir@xen.org>
xen/arch/x86/traps.c